Algebraic View Speciication ?
نویسنده
چکیده
The application of algebraic speciication techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view speciication based on an algebraic concept model. The concept model consists of two parts: a meta model deening the concepts of diierent views and the relationships between them, and a system model deening the system behaviour. We show how to derive an algebraic concept model from a semi-formal one given usually as an entity relationship diagram. This gives the rigour of formality to pragmatic view speciications and allows for an easy translation between formal and pragmatic speciications.
منابع مشابه
Essential Concepts of Algebraic Speciication and Program Development
The main ideas underlying work on the model-theoretic foundations of algebraic speciication and formal program development are presented in an informal way. An attempt is made to ooer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere.
متن کاملInheritance and Cofree Constructions
The coalgebraic view on classes and objects is elaborated to include inheritance. Inheritance in coalgebraic speciication (of classes) will be understood dually to parametrization in algebraic speciication. That is, inheritance involves restriction (specialization), where parametrization involves extension. And cofree constructions are \best" restrictions, like free constructions are \best" ext...
متن کاملSpeci cation Re nement with System
Essential concepts of algebraic speciication reenement are translated into a type-theoretic setting involving System F and Reynolds' relational parametricity assertion as expressed in Plotkin and Abadi's logic for parametric polymorphism. At rst order, the type-theoretic setting provides a canonical picture of algebraic speciication reenement. At higher order, the type-theoretic setting allows ...
متن کاملObjects and Their Speci cation
Object{oriented concepts and constructions are explained in an informal and language{independent way. Various algebraic approaches for dealing with objects and their speciication are examined, ADT{based ones as well as pro-cess{based ones. The conclusion is that the process view of objects seems to be more appropriate than the data type view.
متن کاملFormal Speci cation for Free - FormCurves and Surfaces
This paper presents a formal description of curves and surfaces that have evaluation algorithms using control points. The frame of the algebraic speciication allows us to unify most points of view by using modu-larity, genericity and ordered sorts. An experimentation prototype based on a translation of this speciication into a typed functional language, namely ML, is currently developed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996